Universal-existential Axiom Systems for Geometries Expressed with Pieri’s Isosceles Triangle as Single Primitive Notion
نویسنده
چکیده
We prove that, building upon the universal-existential orthogonality-based axiom system for metric planes presented in [28], one can provide universal-existential axiom systems – expressed solely in terms of the ternary predicate I, with I(abc) standing for ‘ab is congruent to ac’, which Pieri has introduced 100 years ago – for metric planes, for absolute geometry with the circle axiom, for Euclidean planes, for Euclidean geometry with the circle axiom, for Klingenberg’s generalized hyperbolic planes, for plane elementary hyperbolic geometry, as well as for all the finite-dimensional versions of these geometries.
منابع مشابه
Heptagonal Triangles and Their Companions
A heptagonal triangle is a non-isosceles triangle formed by three vertices of a regular heptagon. Its angles are π 7 , 2π 7 and 4π 7 . As such, there is a unique choice of a companion heptagonal triangle formed by three of the remaining four vertices. Given a heptagonal triangle, we display a number of interesting companion pairs of heptagonal triangles on its nine-point circle and Brocard circ...
متن کاملThe Isosceles Trapezoid and its Dissecting Similar Triangles
Isosceles trapezoids are dissected into three similar triangles and rearranged to form two additional isosceles trapezoids. Moreover, triangle centers, one from each similar triangle, form the vertices of a centric triangle which has special properties. For example, the centroidal triangles are congruent to each other and have an area one-ninth of the area of the trapezoids; whereas, the circum...
متن کاملFrom Geometry to Algebra
Our aim is to see which practices of Greek geometry can be expressed in various logics. Thus we refine Detlefsen’s notion of descriptive complexity by providing a scheme of increasing more descriptive formalizations of geometry Following Hilbert we argue that defining a field structure on a line in ‘Euclidean geometry’ provides a foundation for both geometry and algebra. In particular we prove ...
متن کاملThe Inadequacy of a Proposed Paraconsistent Set Theory
We show that a paraconsistent set theory proposed in Weber (2010) is strong enough to provide a quite classical non-primitive notion of identity, so that the relation is an equivalence relation and also obeys full substitutivity: a=b(F(a)F(b)). With this as background it is shown that the proposed theory also proves x(xx). While not by itself showing that the proposed system is trivial in t...
متن کاملNumerical simulation of nanofluids flow and heat transfer through isosceles triangular channels
Nanofluids are stable suspensions of nanoparticles in conventional heat transfer fluids (base fluids) that exhibit better thermal characteristics compared to those of the base fluids. It is important to clarify various aspects of nanofluids behavior. In order to identify the thermal and hydrodynamic behavior of nanofluids flowing through non-circular ducts, in the present study the laminar flow...
متن کامل